Par exemple, lorsque X = E, l`injection canonique n`est autre que l`application identité de E. - Soit E un ensemble, A appartient à l`ensemble des parties de E noté β(E) ; on appelle inclusion canonique de A dans E l`application, notée IA définie par : A→E, x→x.